CLARK, J. EDMUND: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (429)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Change in maximal fat oxidation in response to different regimes of periodized high-intensity interval training (HIIT)

Astorino, Todd Anthony, Edmunds, Ross M., Clark, Amy, Gallant, Rachael, King, Leesa, Ordille, Gina M., Heath, Brendyn, Montell, Matthew, Bandong, Jason

Журнал:

European Journal of Applied Physiology

Рік:

2018

Мова:

english

Файл:

PDF, 489 KB

english, 2018

Handbook of Model Checking || Satisfiability Modulo Theories

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 923 KB

english, 2018

Handbook of Model Checking || Model Checking Security Protocols

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 920 KB

english, 2018

Renoprotective Effect of the Angiotensin-Receptor Antagonist Irbesartan in Patients with Nephropathy Due to Type 2 Diabetes

Lewis, Edmund J., Hunsicker, Lawrence G., Clarke, William R., Berl, Tomas, Pohl, Marc A., Lewis, Julia B., Ritz, Eberhard, Atkins, Robert C., Rohde, Richard, Raz, Itamar

Журнал:

Boston Medical and Surgical Journal

Рік:

2001

Мова:

english

Файл:

PDF, 193 KB

english, 2001

The Value of Art Education

Nelson Rockefeller, Ted Stevens, Barry Goldwater, Dale Bumpers, Gary Hart, Dick Stone, Frank Church, Charles H. Percy, Dick Clark, Bob Dole, Walter D. Huddleston, Edmund S. Muskie, Edward M. Kennedy,

Журнал:

Art Education

Рік:

1975

Мова:

english

Файл:

PDF, 7.80 MB

english, 1975

Note on the velocity of propagation of gravitation

Clark, G. L., Whittaker, Edmund

Журнал:

Mathematical Proceedings of the Cambridge Philosophical Society

Рік:

1947

Мова:

english

Файл:

PDF, 219 KB

english, 1947

The gravitational field of a rotating cohesive system

Clark, G. L., Whittaker, Edmund

Журнал:

Mathematical Proceedings of the Cambridge Philosophical Society

Рік:

1947

Мова:

english

Файл:

PDF, 584 KB

english, 1947

Change in maximal fat oxidation in response to different regimes of periodized high-intensity interval training (HIIT)

Astorino, Todd A., Edmunds, Ross M., Clark, Amy, Gallant, Rachael, King, Leesa, Ordille, Gina M., Heath, Brendyn, Montell, Matthew, Bandong, Jason

Журнал:

European Journal of Applied Physiology

Рік:

2017

Мова:

english

Файл:

PDF, 918 KB

english, 2017

Handbook of Model Checking || Transfer of Model Checking to Industrial Practice

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 742 KB

english, 2018

Handbook of Model Checking || Binary Decision Diagrams

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 828 KB

english, 2018

Handbook of Model Checking || Process Algebra and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 1001 KB

english, 2018

Cardiovascular Disease and Mortality in Adults Aged ≥60 Years According to Recommendations by the American College of Cardiology/American Heart Association and American College of Physicians/American Academy of Family Physicians

Jaeger, Byron C., Anstey, D. Edmund, Bress, Adam P., Booth, John N., Butler, Mark, Clark, Donald, Howard, George, Kalinowski, Jolaade, Long, D. Leann, Ogedegbe, Gbenga, Plante, Timothy B., Shimbo, Dai

Журнал:

Hypertension

Рік:

2019

Мова:

english

Файл:

PDF, 376 KB

english, 2019

Bounded Model Checking Using Satisfiability Solving

Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu

Журнал:

Formal Methods in System Design

Рік:

2001

Мова:

english

Файл:

PDF, 149 KB

english, 2001

Change in Maximal Fat Oxidation in Individuals in Response to Different Regimes of High Intensity Interval Training (HIIT)

Clark, Amy, Edmunds, Ross M., Gallant, Rachael, King, Leesa, Ordille, Gina M., Heath, Brendyn, Montell, Matthew, Bandong, Jason, Astorino, Todd A.

Журнал:

Medicine & Science in Sports & Exercise

Рік:

2017

Мова:

english

Файл:

PDF, 206 KB

english, 2017

Handbook of Model Checking || BDD-Based Symbolic Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 795 KB

english, 2018

Handbook of Model Checking || Combining Model Checking and Data-Flow Analysis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 1.13 MB

english, 2018

Handbook of Model Checking || Graph Games and Reactive Synthesis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Рік:

2018

Мова:

english

Файл:

PDF, 1.05 MB

english, 2018

[ACS Symposium Series] Advances in the Biorational Control of Medical and Veterinary Pests Volume 1289 || Insecticidal Activity and Physiological Actions of Matrine, a Plant Natural Product

Norris, Edmund J., Coats, Joel R., Gross, Aaron D., Clark, John M.

Рік:

2018

Мова:

english

Файл:

PDF, 1.27 MB

english, 2018

Upscaling Capillary Pressure–Saturation Functions Using Different Reference Pressure Elevations

Cheng, Chu-Lin, Cropper, S. Clark, Perfect, Edmund, McKay, Larry, Kang, Misun

Журнал:

Vadose Zone Journal

Рік:

2017

Мова:

english

Файл:

PDF, 1.43 MB

english, 2017

Development of a simple and rapid method for producing non-fucosylated oligomannose containing antibodies with increased effector function

Qun Zhou, Srinivas Shankara, Andre Roy, Huawei Qiu, Scott Estes, Alison McVie-Wylie, Kerry Culm-Merdek, Anna Park, Clark Pan, Tim Edmunds

Журнал:

Biotechnology and Bioengineering

Рік:

2008

Мова:

english

Файл:

PDF, 309 KB

english, 2008

D2 receptors receive paracrine neurotransmission and are consistently targeted to a subset of synaptic structures in an identified neuron of the crustacean stomatogastric nervous system

Max F. Oginsky, Edmund W. Rodgers, Merry C. Clark, Robert Simmons, Wulf-Dieter C. Krenz, Deborah J. Baro

Журнал:

The Journal of Comparative Neurology

Рік:

2010

Мова:

english

Файл:

PDF, 5.62 MB

english, 2010

Bookreviews

R. P. Clark, Einar Lilja, Eve Malmqvist, Louis Arnaud Reid, Edmund King, John Downing, C. M. Fleming, Arnould Clausse, G. de Landsheere, Vernon Mallinson, Paul Nash, Tomio Goto, M. A. Brimer, Rudolf C

Журнал:

International Review of Education

Рік:

1963-1964

Мова:

english

Файл:

PDF, 2.25 MB

english, 1963-1964

Prähistorische Daten : Ein Kalender über 30000 Jahre

J. Edmund Clark

Журнал:

Naturwissenschaften (The Science of Nature)

Рік:

1922

Мова:

german

Файл:

PDF, 363 KB

german, 1922

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, Marco Roveri

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2000

Мова:

english

Файл:

PDF, 355 KB

english, 2000

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

Clarke, Edmund M., Voronkov, Andrei

Рік:

2010

Мова:

english

Файл:

PDF, 385 KB

english, 2010

Temporomandibular disorders and science: A response to the critics

Charles S. Greene, Norman D. Mohl, Charles McNeill, Glenn T. Clark, Edmund L. Truelove

Журнал:

American Journal of Orthodontics and Dentofacial Orthopedics

Рік:

1999

Мова:

english

Файл:

PDF, 13 KB

english, 1999

[American Institute of Aeronautics and Astronautics 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference20th AIAA/ASME/AHS Adaptive Structures Conference14th AIAA - Honolulu, Hawaii ()] 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference20th AIAA/ASME/AHS Adaptive Structures Conference14th AIAA - Integrated Composite Structures Demonstration for Future Space Launch Vehicle Airframe Applications

Pendleton, Edmund, Biggs, Robert, Cochran, Ryan, Clark, Ben, Griffin, Ken

Рік:

2012

Мова:

english

Файл:

PDF, 7.95 MB

english, 2012

[Lecture Notes in Computer Science] Logics of Programs Volume 164 || An interval-based temporal logic

Clarke, Edmund, Kozen, Dexter

Рік:

1984

Мова:

english

Файл:

PDF, 944 KB

english, 1984

Experimental and theoretical study of polarization-dependent optical transitions in InAs quantum dots at telecommunication-wavelengths (1300-1500 nm)

Usman, Muhammad, Heck, Susannah, Clarke, Edmund, Spencer, Peter, Ryu, Hoon, Murray, Ray, Klimeck, Gerhard

Журнал:

Journal of Applied Physics

Рік:

2011

Мова:

english

Файл:

PDF, 2.95 MB

english, 2011

An orchestrated survey of methodologies for automated software test case generation

Anand, Saswat, Burke, Edmund K., Chen, Tsong Yueh, Clark, John, Cohen, Myra B., Grieskamp, Wolfgang, Harman, Mark, Harrold, Mary Jean, McMinn, Phil

Журнал:

Journal of Systems and Software

Рік:

2013

Мова:

english

Файл:

PDF, 585 KB

english, 2013

Formal methods: state of the art and future directions

Clarke, Edmund M., Wing, Jeannette M.

Журнал:

ACM Computing Surveys

Рік:

1996

Мова:

english

Файл:

PDF, 291 KB

english, 1996

From Alaska to Patagonia: the IUCN Red List of the Continental Ecosystems of the Americas

Rodríguez, Jon Paul, Rodríguez-Clark, Kathryn M., Keith, David A., Barrow, Edmund G., Comer, Patrick, Oliveira-Miranda, María A.

Журнал:

Oryx

Рік:

2012

Мова:

english

Файл:

PDF, 60 KB

english, 2012

Evaluating the potential risks and benefits of infant rotavirus vaccination in England

Clark, Andy, Jit, Mark, Andrews, Nick, Atchison, Christina, Edmunds, W. John, Sanderson, Colin

Журнал:

Vaccine

Рік:

2014

Мова:

english

Файл:

PDF, 667 KB

english, 2014

Mild Method for Succinimide Hydrolysis on ADCs: Impact on ADC Potency, Stability, Exposure, and Efficacy

Tumey, L. Nathan, Charati, Manoj, He, Tao, Sousa, Eric, Ma, Dangshe, Han, Xiaogang, Clark, Tracey, Casavant, Jeff, Loganzo, Frank, Barletta, Frank, Lucas, Judy, Graziani, Edmund I.

Журнал:

Bioconjugate Chemistry

Рік:

2014

Мова:

english

Файл:

PDF, 3.33 MB

english, 2014

Resolving Zeeman splitting in quantum dot ensembles

Taylor, Matthew W., Spencer, Peter, Clarke, Edmund, Harbord, Edmund, Murray, Ray

Журнал:

Applied Physics Letters

Рік:

2013

Мова:

english

Файл:

PDF, 914 KB

english, 2013

Relationships of Preharvest Weather Conditions and Soil Factors to Susceptibility of Sweetpotato to Postharvest Decay Caused by Rhizopus stolonifer and Dickeya dadantii

Edmunds, Brooke A., Clark, Christopher A., Villordon, Arthur Q., Holmes, Gerald J.

Журнал:

Plant Disease

Рік:

2015

Мова:

english

Файл:

PDF, 553 KB

english, 2015

[American Institute of Aeronautics and Astronautics 54th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference - Boston, Massachusetts ()] 54th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference - Ground Vibration Testing of Future responsive Access to Space Airframe Ground Experiment

Zink, Paul Scott, Clark, Ben, Salcedo, Eduardo, Le, Chi, Ahrens, John, Biggs, Robert, Griffin, Kenneth E., Pendleton, Edmund

Рік:

2013

Мова:

english

Файл:

PDF, 1.71 MB

english, 2013

Problem Department

Walter B. Clarke, Karleton W. Crain, W. V. Parker, J. Rosenbaum, Edmund N. Yeager, David Blackwell and A. C. Briggs

Журнал:

National Mathematics Magazine

Рік:

1935

Мова:

english

Файл:

PDF, 293 KB

english, 1935

Factors Determining the Heterogeneity of Malaria Incidence in Children in Kampala, Uganda

Clark, Tamara D., Greenhouse, Bryan, Njama‐Meya, Denise, Nzarubara, Bridget, Maiteki‐Sebuguzi, Catherine, Staedke, Sarah G., Seto, Edmund, Kamya, Moses R., Rosenthal, Philip J., Dorsey, Grant

Журнал:

The Journal of Infectious Diseases

Рік:

2008

Мова:

english

Файл:

PDF, 5.41 MB

english, 2008

1305-nm Quantum Dot Vertical-External-Cavity Surface-Emitting Laser

Alharthi, Sami S., Clarke, Edmund, Henning, Ian D., Adams, Michael J.

Журнал:

IEEE Photonics Technology Letters

Рік:

2015

Мова:

english

Файл:

PDF, 232 KB

english, 2015

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || The TPTP World – Infrastructure for Automated Reasoning

Clarke, Edmund M., Voronkov, Andrei

Рік:

2010

Мова:

english

Файл:

PDF, 289 KB

english, 2010

Effective Axiomatizations of Hoare Logics

Clarke, Edmund M., German, Steven M., Halpern, Joseph Y.

Журнал:

Journal of the ACM

Рік:

1983

Мова:

english

Файл:

PDF, 1.33 MB

english, 1983

Ethosuximide, Valproic Acid, and Lamotrigine in Childhood Absence Epilepsy

Glauser, Tracy A., Cnaan, Avital, Shinnar, Shlomo, Hirtz, Deborah G., Dlugos, Dennis, Masur, David, Clark, Peggy O., Capparelli, Edmund V., Adamson, Peter C.

Журнал:

Boston Medical and Surgical Journal

Рік:

2010

Мова:

english

Файл:

PDF, 254 KB

english, 2010

Solving QBF with counterexample guided refinement

Janota, Mikoláš, Klieber, William, Marques-Silva, Joao, Clarke, Edmund

Журнал:

Artificial Intelligence

Рік:

2016

Мова:

english

Файл:

PDF, 1018 KB

english, 2016

[IEEE 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Shenzhen, China (2016.12.15-2016.12.18)] 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Islam, Md. Ariful, Lim, Hyunkyung, Paoletti, Nicola, Abbas, Houssam, Jiang, Zhihao, Cyranka, Jacek, Cleaveland, Rance, Gao, Sicun, Clarke, Edmund, Grosu, Radu, Mangharam, Rahul, Cherry, Elizabeth, Fen

Рік:

2016

Мова:

english

Файл:

PDF, 1.07 MB

english, 2016

High-Intensity Interval Training Increases Cardiac Output and V˙O2max

ASTORINO, TODD A., EDMUNDS, ROSS M., CLARK, AMY, KING, LEESA, GALLANT, RACHAEL A., NAMM, SAMANTHA, FISCHER, ANTHONY, WOOD, KIMI M.

Журнал:

Medicine & Science in Sports & Exercise

Рік:

2017

Мова:

english

Файл:

PDF, 489 KB

english, 2017

Sex differences in risk-based decision making in adolescents with conduct disorder

Sidlauskaite, Justina, González-Madruga, Karen, Smaragdi, Areti, Riccelli, Roberta, Puzzo, Ignazio, Batchelor, Molly, Cornwell, Harriet, Clark, Luke, Sonuga-Barke, Edmund J. S., Fairchild, Graeme

Журнал:

European Child & Adolescent Psychiatry

Рік:

2017

Мова:

english

Файл:

PDF, 845 KB

english, 2017

Prevention and Treatment of HIV Infection in Neonates: Evidence Base for Existing WHO Dosing Recommendations and Implementation Considerations

Clarke, Diana F., Penazzato, Martina, Capparelli, Edmund, Cressey, Tim R., Siberry, George, Sugandhi, Nandita, Mirochnick, Mark

Журнал:

Expert Review of Clinical Pharmacology

Рік:

2017

Мова:

english

Файл:

PDF, 1.03 MB

english, 2017

Scientific Foundations for an IUCN Red List of Ecosystems

Keith, David A., Rodríguez, Jon Paul, Rodríguez-Clark, Kathryn M., Nicholson, Emily, Aapala, Kaisu, Alonso, Alfonso, Asmussen, Marianne, Bachman, Steven, Basset, Alberto, Barrow, Edmund G., Benson, Jo

Журнал:

PLoS ONE

Рік:

2013

Мова:

english

Файл:

PDF, 655 KB

english, 2013

Effect of Various Regimes of High Intensity Interval Training (HIIT) on Changes in Maximal Oxygen Uptake and Hemodynamic Function

Astorino, Todd A., Edmunds, Ross M., Clark, Amy, Gallant, Rachael M., King, Leesa, Namm, Samantha, Fischer, Anthony, Wood, Kimi A.

Журнал:

Medicine & Science in Sports & Exercise

Рік:

2016

Мова:

english

Файл:

PDF, 187 KB

english, 2016